-
1 прикладное исчисление предикатов
Mathematics: APC (applied predicate calculus), applied predicate calculusУниверсальный русско-английский словарь > прикладное исчисление предикатов
-
2 прикладное исчисление предикатов
abbrev. ПИПРусско-английский словарь по математике > прикладное исчисление предикатов
-
3 ПИП
abbrev (прикладное исчисление предикатов), applied predicate calculus -
4 ПИП
1) Mathematics: прикладное исчисление предикатов2) Oil: приёмочные испытания на площадке3) Sakhalin energy glossary: план выполнения проекта4) Sakhalin R: План Исполнения Проекта -
5 Пип
1) Mathematics: прикладное исчисление предикатов2) Oil: приёмочные испытания на площадке3) Sakhalin energy glossary: план выполнения проекта4) Sakhalin R: План Исполнения Проекта -
6 ПИП
abbrev. (прикладное исчисление предикатов), applied predicate calculus -
7 ПИП
abbrev. for прикладное исчисление предикатов
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия